ISSNon lineprintedGeometry & Topology Monographs Volume 7: Proceedings of the Casson Fest

Source URL: people.mpim-bonn.mpg.de

• Differential topology
• Geometric topology
• Surgery theory
• Knot invariants
• 3-manifolds
• Finite type invariant
• Manifold
• Cobordism
• StiefelWhitney class
• Casson invariant
• H-cobordism
• Kontsevich invariant

Minimal Efficiency of Experimental Designs under the Class of Orthogonally Invariant Criteria Radoslav HarmanA thesis submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy

Source URL: www.iam.fmph.uniba.sk

• Design of experiments
• Operations research
• Industrial engineering
• Optimal design
• Quality
• Symbol
• Pareto efficiency
• Fisher information
• Mathematical optimization

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1 Class Schema Evolution for Persistent Object-Oriented Software: Model, Empirical

Source URL: se.inf.ethz.ch

• Computing
• Software engineering
• Java platform
• Persistence
• Eiffel
• Object-oriented programming
• Db4o
• Attribute
• Java Platform
• Standard Edition
• Java version history
• Class invariant
• Constructor

A comparative study of programmer-written and automatically inferred contracts Nadia Polikarpova, Ilinca Ciupa, Bertrand Meyer Chair of Software Engineering, ETH Zurich, Switzerland {firstname.lastname}@inf.ethz.ch

Source URL: se.ethz.ch

• Software engineering
• Computer programming
• Software
• Formal methods
• Logic in computer science
• Object-oriented programming languages
• Object-oriented programming
• Software testing
• Postcondition
• Eiffel
• Assertion
• Class invariant

Automatically Mining Specifications from Invocation Traces and Method Invariants

Source URL: people.cs.umass.edu

• Formal methods
• Mathematics
• Invariant
• Class invariant
• Emmy Noether
• Academia

UML and OCL Transformation Model Analysis: Checking Invariant Independence Martin Gogolla, Frank Hilken Database Systems Group, University of Bremen, Germany {gogolla|fhilken}@informatik.uni-bremen.de

Source URL: www.db.informatik.uni-bremen.de

• Unified Modeling Language
• Systems engineering
• Scientific modeling
• ECO
• Model-driven architecture
• Metamodeling
• Entityrelationship model
• Invariant
• Model transformation
• Class diagram
• Object Constraint Language
• Executable UML

From Application Models to Filmstrip Models: An Approach to Automatic Validation of Model Dynamics M. Gogolla1 , L. Hamann1 , F. Hilken1∗, M. Kuhlmann1 , R. France2 1 {gogolla,lhamann,fhilken,mk}@informatik.uni-bremen

Source URL: www.db.informatik.uni-bremen.de

• Software engineering
• Theoretical computer science
• Unified Modeling Language
• Computing
• Formal methods
• Object Constraint Language
• ECO
• Postcondition
• Object diagram
• Object Process Methodology
• Class diagram
• Invariant

Geometry, Groups and Dynamics/GEAR Seminar (held at the Illinois hub of GEAR ) Tuesday, February 17, 2015, 1:00 pm in 243 Altgeld Hall Brian Collier (Illinois) A mapping class group invariant parameterization of maximal

Source URL: www.math.illinois.edu

PHYSICAL REVIEW B 88, Equivalent topological invariants for one-dimensional Majorana wires in symmetry class D Jan Carl Budich and Eddy Ardonne* Department of Physics, Stockholm University, SEStock

Source URL: www.fysik.su.se

• Quantum field theory
• Particle physics
• Mathematical physics
• Parity
• Pfaffian
• Differentiable manifold
• Spinor
• Eigenvalues and eigenvectors
• Invariant
• Physics
• Algebra
• Quantum mechanics